Homotopy theory - PDFSEARCH.IO - Document Search Engine

Homotopy theory
Results: 956

#	Item
211	Introduction to Stable homotopy theory S in nLab Introduction to Stable homotopy theory S Add to Reading List Source URL: dl.dropboxusercontent.com Language: English
212	Non-wellfounded trees in Homotopy Type Theory Benedikt Ahrens 1 Institut 1 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-08-31 05:41:12
213	High-Dimensional Winding-Augmented Motion Planning with 2D Topological Task Projections and Persistent Homology Florian T. Pokorny, Danica Kragic, Lydia E. Kavraki, Ken Goldberg Abstract— Recent progress in motion plan Add to Reading List Source URL: goldberg.berkeley.edu Language: English - Date: 2016-02-17 11:01:40 Topology Mathematics Homotopy theory Algebraic topology Fundamental group Homotopy Cohomology Topological space Winding number Homology Retract Covering space
214	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-21 07:27:06
215	Homotopy Type Theory Univalent Foundations of Mathematics T HE U NIVALENT F OUNDATIONS P ROGRAM I NSTITUTE FOR A DVANCED S TUDY Add to Reading List Source URL: hottheory.files.wordpress.com Language: English - Date: 2013-06-19 17:30:09
216	Non-wellfounded trees in Homotopy Type Theory∗ Benedikt Ahrens1 , Paolo Capriotti2 and R´egis Spadotti1 1 2 Add to Reading List Source URL: benedikt-ahrens.de Language: English - Date: 2015-06-03 05:24:49
217	COQHOTT    A NEW PROOF-ASSISTANT THAT REVISITS  THE THEORETICAL FOUNDATIONS OF COQ USING   HOMOTOPY TYPE THEORY  Add to Reading List Source URL: web.emn.fr Language: English - Date: 2015-05-11 05:01:14
218	Category theory and Homotopy type theory Andr´e Joyal Universit´e du Qu´ebec a ` Montr´eal (UQAM) Add to Reading List Source URL: logica.dmi.unisa.it Language: English - Date: 2015-05-15 06:13:17 Homotopy theory Algebraic topology Category theory Differential topology Homotopy type theory Type theory Fibration Homotopy Homotopical algebra Model category Homotopy fiber
219	Notes on Eliashberg’s 1989 paper, “Classification of overtwisted contact structures on 3-manifolds” Daniel Mathews March 6, 2007 Contents Add to Reading List Source URL: www.danielmathews.info Language: English - Date: 2010-04-17 22:20:14 Algebraic topology Topological spaces Homotopy theory Triangulation Topology Foliation Simplicial complex Contact geometry Simplex 3-manifold CW complex Out
220	ON THE ARITHMETIC OF ELLIPTIC CURVES AND A HOMOTOPY LIMIT PROBLEM IGOR KRIZ In this note, I study a comparison map between a Add to Reading List Source URL: www.math.lsa.umich.edu Language: English - Date: 2016-03-14 11:38:05 Algebra Abstract algebra Mathematics Cohomology theories Homological algebra Group theory Algebraic geometry Algebraic topology Motivic cohomology Cohomology tale cohomology Norm residue isomorphism theorem

UPDATE